définition integrale